全文获取类型
收费全文 | 2895篇 |
免费 | 106篇 |
国内免费 | 111篇 |
专业分类
电工技术 | 137篇 |
技术理论 | 1篇 |
综合类 | 184篇 |
化学工业 | 110篇 |
金属工艺 | 53篇 |
机械仪表 | 332篇 |
建筑科学 | 160篇 |
矿业工程 | 39篇 |
能源动力 | 55篇 |
轻工业 | 35篇 |
水利工程 | 37篇 |
石油天然气 | 76篇 |
武器工业 | 32篇 |
无线电 | 245篇 |
一般工业技术 | 122篇 |
冶金工业 | 109篇 |
原子能技术 | 83篇 |
自动化技术 | 1302篇 |
出版年
2023年 | 9篇 |
2022年 | 16篇 |
2021年 | 34篇 |
2020年 | 30篇 |
2019年 | 23篇 |
2018年 | 27篇 |
2017年 | 35篇 |
2016年 | 42篇 |
2015年 | 67篇 |
2014年 | 144篇 |
2013年 | 128篇 |
2012年 | 148篇 |
2011年 | 192篇 |
2010年 | 160篇 |
2009年 | 125篇 |
2008年 | 144篇 |
2007年 | 192篇 |
2006年 | 167篇 |
2005年 | 184篇 |
2004年 | 158篇 |
2003年 | 116篇 |
2002年 | 124篇 |
2001年 | 98篇 |
2000年 | 73篇 |
1999年 | 70篇 |
1998年 | 83篇 |
1997年 | 64篇 |
1996年 | 46篇 |
1995年 | 48篇 |
1994年 | 34篇 |
1993年 | 32篇 |
1992年 | 32篇 |
1991年 | 30篇 |
1990年 | 22篇 |
1989年 | 21篇 |
1988年 | 13篇 |
1987年 | 9篇 |
1986年 | 13篇 |
1985年 | 12篇 |
1984年 | 18篇 |
1983年 | 17篇 |
1982年 | 7篇 |
1981年 | 12篇 |
1980年 | 12篇 |
1979年 | 12篇 |
1978年 | 13篇 |
1977年 | 4篇 |
1976年 | 11篇 |
1975年 | 13篇 |
1973年 | 4篇 |
排序方式: 共有3112条查询结果,搜索用时 328 毫秒
1.
目前管道泄漏检测方法可有效检测突发泄漏,对于缓慢泄漏则存在检测灵敏度低、定位不准确等问题。基于此,提出了一种基于信号增强的缓慢泄漏检测方法。通过信号压缩(抽取及移位)克服缓慢泄漏压力信号下降平缓的缺点;根据声波信号具有波形尖锐突出、对突发泄漏敏感的优点,通过建立以压力为输入、虚拟声波为输出的声波信号变送器模型,将压力信号转换为声波信号,克服了泄漏压力信号容易被淹没在管道压力波动及背景噪声中的缺点,实现了缓慢泄漏信号的增强;利用临近插值方法重构虚拟声波信号,基于延时互相关分析实现了缓慢泄漏的准确定位。实验结果表明,该方法具有显著的信号增强效果和定位精度,实现了缓慢泄漏的准确检测。 相似文献
2.
仪器仪表产品的脉冲耐压试验是产品型式试验、例行试验中的基本内容。通过对GB4793.1标准的整理,归纳了仪器仪表产品的脉冲耐压试验要求。通过对试验方法和设备特性的梳理,总结了特性参数,并介绍了应对脉冲耐压试验可采取的保护器件的类别及选用方法。 相似文献
3.
用CPLD实现SRAM工艺FPGA的安全应用 总被引:1,自引:0,他引:1
提出了一种利用CPLD产生的伪随机码来加密SRAM工艺FPGA的方法,并详细介绍了具体的电路和VHDL代码。 相似文献
4.
5.
VB中实现打印功能的方法 总被引:3,自引:0,他引:3
介绍了在VB开发的应用程序中,实现打印功能的几种方法.这些方法包括:①打印窗口;②通过PRINTER打印;③利用数据报表进行打印;④将打印内容传送于Office组件的Word或Excel,通过Word、Excel打印.同时列出了相关的程序格式. 相似文献
6.
7.
8.
J. Dingel 《Formal Aspects of Computing》2002,14(2):123-197
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to
the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists.
Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these
problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus
allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The
calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction
of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are
independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated.
Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification
notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus
rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement
relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality.
The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing
program and vice versa.
Received July 2001 / Accepted in revised form May 2002 相似文献
9.
Brian J. Ross 《Formal Aspects of Computing》1997,9(3):331-348
Imperative programs can be inverted directly from their forward-directed program code with the use of logical inference. The relational semantics of imperative computations treats programs as logical relations over the observable state of the environment, which is taken to be the state of the variables in memory. Program relations denote both forward and backward computations, and the direction of the computation depends upon the instantiation pattern of arguments in the relation. This view of inversion has practical applications when the relational semantics is treated as a logic program. Depending on the logic programming inference scheme used, execution of this relational program can compute the inverse of the imperative program. A number of nontrivial imperative computations can be inverted with minimal logic programming tools. 相似文献
10.